Knihy od autora Dennis Dams

Zobrazeno 1 – 3 z 3 výsledků

1. 

   FM 2009: Formal Methods

   Ana Cavalcanti, Dennis Dams | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   3313 Kč

   Koupit
2. 

   Concurrency, Compositionality, and Correctness

   Dennis Dams, Ulrich Hannemann, Martin Steffen | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010

   
   

   Skladem u dodavatele - Odesíláme za 9-13 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1702 Kč

   Koupit
3. 

   Theoretical and Practical Aspects of SPIN Model Checking

   Dennis Dams, Robert Gerth, Stefan Leue | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999

   
   

   Skladem u dodavatele v malém množství - Odesíláme za 12-15 dnů

   Jazyk: Angličtina

   Vazba: Brožovaná

   1681 Kč

   Koupit

Expresní doručení do druhého dne jen za 54 Kč Zjistěte více